<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN">
<html>
<head>
	<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
	<link href="../../main.css" rel="stylesheet" type="text/css">
	<title>Editor</title>
</head>

<body>
	<h1>Editor</h1>

	<p><b>Editor:</b> Set the font ( including size, style & color ) and backcolor of the editor.</p>

	<p><b>Margins:</b> Set the width of the margin in both sides of the editor. </p>

	<p><b>Show Line Number:</b> Set whether to show line number on the left-margin of the editor or not. You can choose a color for the Line-number-bar.</p>

	<p><b>Highlight current line:</b> Set whether to highlight the current line (where the caret locates) or not. You can choose a color for the current-line-highlight.</p>

	<p><b>Highlight scheme:</b> Set the color & type ( underline or background highlight ) for find-result-highlight and four highlight schemes in "Text Tools".</p><br>
</body>
</html>
